<?php

class Util_Exception extends Exception
{
}